home *** CD-ROM | disk | FTP | other *** search
/ Aminet 30 / Aminet 30 (1999)(Schatztruhe)[!][Apr 1999].iso / Aminet / dev / lang / SmallEiffel.lha / SmallEiffel / lib_std / counter.e < prev    next >
Text File  |  1998-12-22  |  1KB  |  50 lines
  1. -- This file is  free  software, which  comes  along  with  SmallEiffel. This
  2. -- software  is  distributed  in the hope that it will be useful, but WITHOUT 
  3. -- ANY  WARRANTY;  without  even  the  implied warranty of MERCHANTABILITY or
  4. -- FITNESS  FOR A PARTICULAR PURPOSE. You can modify it as you want, provided
  5. -- this header is kept unaltered, and a notification of the changes is added.
  6. -- You  are  allowed  to  redistribute  it and sell it, alone or as a part of 
  7. -- another product.
  8. --          Copyright (C) 1994-98 LORIA - UHP - CRIN - INRIA - FRANCE
  9. --            Dominique COLNET and Suzanne COLLIN - colnet@loria.fr 
  10. --                       http://www.loria.fr/SmallEiffel
  11. --
  12. class COUNTER
  13.  
  14. feature
  15.  
  16.    value: INTEGER;
  17.  
  18. feature
  19.  
  20.    increment is
  21.       do
  22.      value := value + 1;
  23.       ensure
  24.      value = 1 + old value
  25.       end;
  26.  
  27.    decrement is
  28.       do
  29.      value := value - 1;
  30.       ensure
  31.      value - 1 = old value
  32.       end;
  33.  
  34.    reset is
  35.       do
  36.      value := 0;
  37.       ensure
  38.      value = 0
  39.       end;
  40.  
  41. feature
  42.  
  43.    append_in(str: STRING) is
  44.       do
  45.      value.append_in(str);
  46.       end;
  47.  
  48. end -- COUNTER
  49.  
  50.